161. Theorems, corollaries, lemmas, and methods of proof /
پدیدآورنده : Richard J. Rossi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks,Mathematical analysis-- Foundations, Textbooks,Proof theory, Textbooks
رده :
QA9
.
54
.
R668
2006
162. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : / Richard J. Rossi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
54
.
R668
2006
163. Theory of Martingales
پدیدآورنده : by R. Sh. Liptser, A.N. Shiryayev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering.,Statistics.
رده :
QA274
.
5
B977
1989
164. Thinking mathematically /
پدیدآورنده : Robert Blitzer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics, Textbooks.,Mathematics.
رده :
QA39
.
3
.
B59
2019
165. Transition to higher mathematics: structure and proof
پدیدآورنده : / Bob A. Dumas, John E. McCarthy
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic, Symbolic and mathematical,-- Textbooks
رده :
511
.
3
D886T
2007
166. Understanding statistics in the behavioral sciences /
پدیدآورنده : by Roger Bakeman, Byron F. Robinson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Psychology-- Statistical methods, Textbooks.,Psychometrics, Textbooks.,Social sciences-- Statistical methods, Textbooks.,Psychology-- Statistical methods.,PSYCHOLOGY-- Statistics.,Psychometrics.,Social sciences-- Statistical methods.,Sociale wetenschappen.,Statistiek.
رده :
BF39
.
B325
2005eb
167. Understanding topology :
پدیدآورنده : Shaun V. Ault.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Topology.,Topology.
رده :
QA611
.
A86
2018
168. Why does evolution matter? :
پدیدآورنده : edited by Gabriel Trueba.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Evolution (Biology),Conservation of the environment.,Evolution (Biology),Evolution.,Medicine: general issues.,SCIENCE-- Life Sciences-- Evolution.
رده :
QH366
.
2
169. Writing Boys and Girls in Imperial Japan:
پدیدآورنده : Suzuki, Wakako
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
171. درس منطق و فلسفه شرق (طبق برنامه ششم ادبی)
پدیدآورنده : / تالیف محمد خزائلی,خزائلی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : آموزش متوسطه ,Education, Secondary,کتابهای درسی,Textbooks,منطق,Logic,فلسفه,Philosophy, -- کتابهای درسی, -- Textbooks, -- کتابهای درسی, -- Textbooks, -- راهنمای آموزشی (متوسطه), -- Study and teaching (Secondary), -- راهنمای آموزشی (متوسطه), -- Study and teaching (Secondary),-- ایران,-- Iran, -- ایران, -- Iran,a06,a06,a08,a08,a10,a10,a12,a12
رده :
LB
۱۶۰۷
/
۵۳
/
الف
۹
م
۹۷۶ ۱۳۰۰
172. مبحثی در منطق ریاضی
پدیدآورنده : / شاسیموهان سریواستاوا,A course on mathematical logic, ]2013].
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : منطق ریاضی -- کتابهای درسی,Textbooks -- Logic, Symbolic and mathematical
رده :
۵۱۱
/
۳
س
۵۲۶
م
173. منطق برای همه (بویژه دانش آموزان سال ششم ادبی و سال اول و دوم دانشکده ها)
پدیدآورنده : / نگارش ناصرالدین صاحب الزمانی,ناصرالدین صاحبالزمانی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : آموزش متوسطه ,Education, Secondary,کتابهای درسی,Textbooks,منطق,Logic, -- کتابهای درسی, -- Textbooks, -- راهنمای آموزشی (متوسطه), -- Study and teaching (Secondary),-- ایران,-- Iran, -- ایران, -- Iran,a06,a06,a08,a08,a10,a10
رده :
LB
۱۶۰۷
/
۵۳
/
الف
۹
م
۹۶ ۱۳۰۰
الف
174. منطق عملی (متدولوژی)(مطابق با آخرین برنامه سالهای ششم ادبی و طبیعی و ریاضی)
پدیدآورنده : تالیف محمد خزائلی,خزائلی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : آموزش متوسطه ,Education, Secondary,کتابهای درسی,Textbooks,منطق,Logic, -- کتابهای درسی, -- Textbooks, -- راهنمای آموزشی (متوسطه), -- Study and teaching (Secondary),-- ایران,-- Iran, -- ایران, -- Iran,a06,a06,a08,a08,a10,a10
رده :
LB
۱۶۰۷
/
۵۳
/
الف
۹
م
۹۶ ۱۳۰۰
175. منطق نظری و خلاصه منطق عملی و فلسفه اولی (برای سالهای ششم) ادبی- طبیعی- ریاضی
پدیدآورنده : / تالیف محمد خزائلی,خزائلی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : آموزش متوسطه ,Education, Secondary,کتابهای درسی,Textbooks,منطق,Logic,فلسفه,Philosophy, -- کتابهای درسی, -- Textbooks, -- کتابهای درسی, -- Textbooks, -- راهنمای آموزشی (متوسطه), -- Study and teaching (Secondary), -- راهنمای آموزشی (متوسطه), -- Study and teaching (Secondary),-- ایران,-- Iran, -- ایران, -- Iran,a06,a06,a08,a08,a10,a10,a12,a12
رده :
LB
۱۶۰۷
/
۵۳
/
الف
۹
م
۹۸۶
176. منطق و علم اخلاق (سال چهارم آموزش متوسطه عمومی) فرهنگ و ادب
پدیدآورنده : / مولفان عبدالرحیم نبهی، فریدون حقیقی,نبهی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : آموزش متوسطه ,Education, Secondary,کتابهای درسی,Textbooks,منطق,Logic,اخلاق - کتابهای درسی - راهنمای آموزشی (متوسطه), -- کتابهای درسی, -- Textbooks, -- راهنمای آموزشی (متوسطه), -- Study and teaching (Secondary),-- ایران,-- Iran, -- ایران, -- Iran,a06,a06,a08,a08,a10,a10
رده :
LB
۱۶۰۷
/
۵۳
/
الف
۹
م
۹۲۴
177. منطق و فلسفه (برای سال ششم طبیعی و ریاضی)
پدیدآورنده : نگارش علی اکبر سیاسی,سیاسی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : آموزش متوسطه ,Education, Secondary,کتابهای درسی,Textbooks,منطق,Logic,فلسفه,Philosophy, -- کتابهای درسی, -- Textbooks, -- کتابهای درسی, -- Textbooks, -- راهنمای آموزشی (متوسطه), -- Study and teaching (Secondary), -- راهنمای آموزشی (متوسطه), -- Study and teaching (Secondary),-- ایران,-- Iran, -- ایران, -- Iran,a06,a06,a08,a08,a10,a10,a12,a12
رده :
LB
۱۶۰۷
/
۵۳
/
الف
۹
م
۹۷۶
178. منطق (ویژه سال ششم ادبی)
پدیدآورنده : / بقلم محمدجواد تربتی,تربتی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : آموزش متوسطه ,Education, Secondary,کتابهای درسی,Textbooks,منطق,Logic, -- کتابهای درسی, -- Textbooks, -- راهنمای آموزشی (متوسطه), -- Study and teaching (Secondary),-- ایران,-- Iran, -- ایران, -- Iran,a06,a06,a08,a08,a10,a10
رده :
LB
۱۶۰۷
/
۵۳
/
الف
۹
م
۹۶